C++11 - okreslanie typów

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Rejestr głównych typów operacji kardiochirurgicznych w 2015 r. w poszczególnych ośrodkach w Polsce (wg Krajowego Rejestru Operacji Kardiochirurgicznych KROK, Warszawa, 2016)

Endoscopic submucosal dissection with a Water-jet Hybrid-knife in a patient with metachronous gastric cancer – case report and review of literature

Endoskopowa dyssekcja podśluzówkowa (ESD) jest zaawansowaną metodą endoskopowego usuwania wczesnych zmian nowotworowych przełyku, żołądka czy odbytnicy. ESD polega na odwarstwieniu dyssekcji resekowanego obszaru od warstwy mięśniowej ściany przewodu pokarmowego, a następnie wycięciu za pomocą noża endoskopowego. Na rynku dostępnych jest kilkanaście typów noży endoskopowych. Jednym z nich jest n...

Study on transformer tank vibration characteristics in the field and its application

Vibration signal analysis method is one of effective methods to monitor the condition of transformer windings and core. In this paper, the multi-channels vibration measurement system is set up and the vibration signals on the oil-tank surface of running transformer in the field are measured. The influences of transformer type and sensor positions on the measured vibration signals are analyzed. ...

Determination of parameters for a half-band filter in a digital Hilbert transformer in a reactive power measurement system

This article presents a selection analysis of the parameters used for a half-band filter in a digital Hilbert transformer. The parameters were determined for the transformer’s use in measuring Budeanu reactive power. This solution allowed to check the operation of the filter by comparing the results obtained with the filter with the results of Budeanu reactive power obtained in the frequency do...